Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
401	Babelsberg/JS A Browser-based Implementation of an Object Constraint Language Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke Yoshiki Ohshima, Bert Freudenberg, Robert Krahn Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:43 Programming paradigms Computing Constraint satisfaction Kaleidoscope Constraint logic programming Declarative programming E Logic programming Constraint Constraint programming Software engineering Computer programming
402	Introduction to Parallel Programming Models Tim Foley Intel Corp Overview Add to Reading List Source URL: sa08.idav.ucdavis.edu Language: English - Date: 2008-12-19 18:27:56 Software engineering 3D computer graphics Graphics hardware Parallel computing Shading Parallel programming model Graphics pipeline Pipeline Computing Programming paradigms Computer programming
403	The Eval that Men Do A Large-scale Study of the Use of Eval in JavaScript Applications Gregor Richards Christian Hammer Add to Reading List Source URL: the.gregor.institute Language: English - Date: 2014-09-17 17:38:08 Scripting languages Control flow Eval Functional programming Programming paradigms JavaScript JSON Dynamic programming language Code injection Computing Software engineering Computer programming
404	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
405	AN ECLECTIC COMPREHENSIVE APPROACH TO THE V&V OF SOFTWARE MODULES Ali Mili, NJIT NII, Tokyo, Japan January 13, 2012 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Computing Technology Modularity Product management Programming language Object-oriented programming Software design Specification Formal specification Holism Programming paradigms Formal methods
406	Extending Grammars and Metamodels for Reuse The Reuseware Approach Jakob Henriksson Florian Heidenreich Jendrik Johannes Steffen Zschaler Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2008-02-28 05:49:09 Programming paradigms Compiler construction Web services Notation Programming language Function composition XML SQL Domain-specific language Computing Software engineering Formal languages
407	Prospecting for programmer’s gold. IF ALEXANDER THE Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:15:19 Computer programming Software metrics Abstraction Data management Complexity Information hiding Goto No Silver Bullet Object-oriented programming Software engineering Programming paradigms Computing
408	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: allenai.org Language: English Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
409	1 W 2M eb ay V 20 er 0 sio 4 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-05-12 14:15:37 Aspect-oriented software development Aspect-oriented programming Object-oriented programming Programming paradigms Eclipse Law of Demeter AspectJ Aspect Cross-cutting concern Software development Computing Software engineering
410	NII Lectures: A Model Of Parallelism To Guide Thinking Lawrence Snyder www.cs.washington.edu/homes/snyder 1 October 2008 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Models of computation Programming paradigms Algorithm Mathematical logic Theoretical computer science Programming language Abstract machine C Abstraction Computing Software engineering Computer programming

UPDATE